prolog ii การใช้

Constraint programming originated from a formalization of equalities of terms in Prolog II, leading to a general framework for embedding constraints into a logic programming language.
They generalized the observation that the term equations and disequations of Prolog II were a specific form of constraints, and generalized this idea to arbitrary constraint languages.
In 1982, Alain Colmerauer shared with Henry Kanoui and Michel Van Caneghem la Pomme d Or du Logiciel Francais, an award from Apple France for the Prolog II implementation.
This variant of logic programming is due to Jaffar and Lassez, who extended in 1987 a specific class of constraints that were introduced in Prolog II . The first implementations of constraint logic programming were Prolog III, CLP ( R ), and CHIP.